Löwenheim–Skolem

Look at other dictionaries:

• Löwenheim-Skolem — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… …   Deutsch Wikipedia

• Löwenheim-Skolem-Satz —   [nach dem Logiker und Mathematiker Leopold Löwenheim, * 1878, ✝ 1957, und T. Skolem], von Löwenheim 1918 bewiesener Satz: Jede überhaupt erfüllbare Formel der Prädikatenlogik erster Stufe ohne freie Gegenstandsvariable ist schon in einem… …   Universal-Lexikon

• Löwenheim–Skolem theorem — In mathematical logic, the Löwenheim–Skolem theorem, named for Leopold Löwenheim and Thoralf Skolem, states that if a countable first order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The… …   Wikipedia

• Löwenheim-Skolem-Theorem — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… …   Deutsch Wikipedia

• Löwenheim–Skolem theorem — See Skolem–Löwenheim theorem …   Philosophy dictionary

• Teorema de Löwenheim-Skolem — En lógica matemática, el teorema de Löwenheim Skolem es un teorema que establece que si una teoría de primer orden es consistente, entonces tiene al menos un modelo con dominio finito o numerable.[1] Más precisamente: sea T un subconjunto… …   Wikipedia Español

• Satz von Löwenheim-Skolem — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… …   Deutsch Wikipedia

• Théorème de Löwenheim-Skolem — En théorie des modèles, les théorèmes de Löwenheim Skolem désignent plusieurs théorèmes, essentiellement deux, le théorème de Löwenheim Skolem ascendant et le théorème de Löwenheim Skolem descendant, qui permettent d établir l existence d un… …   Wikipédia en Français

• Theoreme de Lowenheim-Skolem — Théorème de Löwenheim Skolem Le théorème de Löwenheim Skolem fait partie de la théorie des modèles. Sa simplicité et sa puissance en font un théorème majeur avec le théorème de compacité. Sommaire 1 Théorème 2 Variante 3 Corollaires …   Wikipédia en Français

• Théorème de löwenheim-skolem — Le théorème de Löwenheim Skolem fait partie de la théorie des modèles. Sa simplicité et sa puissance en font un théorème majeur avec le théorème de compacité. Sommaire 1 Théorème 2 Variante 3 Corollaires …   Wikipédia en Français